基于Markov链的FSM容软错误设计

随着深亚微米工艺的广泛应用,持续攀升的软错误率对宇航设备的电路可靠性造成了极大影响。针对现有冗余防护技术面积开销大的不足,将概率统计的思想运用到有限状态机（FSM）的软容错设计上,提出了选择部分状态冗余的容错方法。在Markov链模型的基础上,计算出各状态概率,从而为状态冗余提供依据。与未经选择状态冗余的电路相比,以平均增加14.9%的面积开销为代价,这种电路可屏蔽87.6%的时序逻辑单翻转（SEU）。
     

A Revisit of the Phobos Events

The magnetic field disturbances detected by the Phobos-2 spacecraft in 1989 have been suggested to be caused by a ring of dust and/or gas emitted from the Martian moon, Phobos. The physical nature of these ``Phobos events' is examined using results from related investigations over the last twenty years. It is concluded that there is no clear evidence at present to support the association of magnetic field disturbances in the solar wind with Phobos. The situation will be further clarified taking advantage of the multi-spacecraft observations of the Yinghuo-1(YH-1), Mars Express and MAVEN missions beginning in 2012. It is expected that many novel features of solar wind interaction with Phobos (and possibly also Deimos) itself will also be revealed.      

采用SMA驱动的小型空间磁悬浮飞轮锁紧机构

磁悬浮飞轮锁紧机构在卫星发射时锁紧飞轮,减小其振动和冲击载荷;在发射后解锁,保证飞轮正常工作.目前已有的以火工品或步进电机驱动的锁紧机构具有冲击大、体积较大、不可重复使用等缺点.提出了一种采用形状记忆合金(SMA, Shape Memory Alloy)驱动的空间磁悬浮飞轮锁紧机构的设计方案,并在Liang本构模型的基础上发展了机构驱动单元的设计方法.之后,完成了锁紧机构的样机研制和调试,并开展了地面的性能测试、振动试验和高温环境试验.研究结果表明:SMA锁紧机构安装体积小,在星载28 V电压下能在6 s内完全锁紧,在1 s内完全解锁,并能够通过振动和环境实验.SMA驱动的磁悬浮飞轮锁紧机构具有锁紧力大、同步性好、可重复使用、低冲击、无污染等优势,有很大的工程应用潜力.      

虚拟维修技术研究与应用

针对虚拟维修在建模与仿真等核心环节的研究中存有很大局限的问题,提出了虚拟维修方法体系,探讨虚拟维修理论与方法,在此基础上开展虚拟维修模型与仿真控制方法的深入研究.提出虚拟维修模型即维修任务网(MTN,Maintenance Task Net),MTN基于Petri网可描述维修过程,可表达维修过程中资源、活动和约束.提出MTN驱动虚拟仿真的触发规则及建立控制虚拟维修仿真机制.通过飞机典型设备维修案例对提出的虚拟维修模型和控制机制进行了实例验证,应用结果验证了建模与仿真方法的有效性,为支持维修性工程应用提供了可行的技术途径.      

数字地球中实时地形晕渲的实现方法

通过使用法线贴图的模式,不增加地面网格数的前提下,在三维数字地球仿真系统中实现了对全球地形的高精度实时晕眩效果的地形浏览.首先通过对高程数据进行分层分块处理,制作级地块法线贴图,再通过绘图芯片用可程序化像素着色器流程计算法线贴图的光照效果,最后将纹理贴到对应的分层三维地形网格上.根据光源的入射方向、色调、饱和度及亮度,计算中考虑了顶点的环境光、漫反射光、镜面反射光,在低地形网格数的前提下,实现了如高精度地形网格般的明显光影变化.      

多阶段任务系统通用可靠性仿真模型

归纳了当前多阶段任务系统(PMS,Phased Mission Systems)可靠性建模的基本假设,指出了解析模型描述和求解能力的不足以及仿真模型存在的难以转换的缺点.应用着色Petri网(CPN,Colored Petri Net) Tools建立PMS的多层通用仿真模型:顶层控制模型将PMS各阶段的故障树参数化,作为CPN通用仿真模型的输入;单阶段处理模型根据顶层控制模型的输入判别该阶段顶事件是否发生;底事件处理模型通过比较随机数和故障发生概率的大小产生故障.通用仿真模型可以保持模型结构的稳定,同时又简化了仿真模型的生成.案例对比了CPN仿真模型与二元决策图(BDD,Binary Decision Diagrams)算法的可靠性计算结果,证明了模型的正确性;具有动态变化参数的PMS仿真则说明了模型的适用性.      

微分雷诺应力模型在激波分离流中的应用

由于Boussinesq涡粘性假设的湍流模型在一些流动中如激波分离流中预测失真,本文介绍一种基于完全雷诺应力方程的微分雷诺应力模型(DRSM),应用压缩性修正和改进耗散率方程构造出应用于可压流体的可实现DRSM,SSG压应力模型测试了两组参数。将其应用于ONERA M6机翼在跨声速大攻角的计算,结果表明DRSM能更好地模拟激波位置和流动分离。     

基于人的认知失误分析模型的跑道侵入风险评估研究

本文主要对导致跑道侵入的人为因素进行研究分析,运用认知可靠性与失误分析法(CREAM)的认知模型建立跑道侵入风险评估模型,并以南苑机场为实例验证该模型的可靠性,计算出来的南苑机场发生跑道侵入事件的风险值较为合理,结果表明运用人的可靠性分析模型对跑道侵入的风险进行评估具有实用价值。     

被动型星载氢钟H型气体电离模型及参数优化

针对被动型星载氢钟气体电离装置低功耗、低电磁干扰的设计要求,设计了一种基于平面盘绕馈能天线的H型电离系统,并建立该电离方法的数学模型。首先,由Maxwell方程出发,推导出了电离泡中的电场和磁场的分布模型,得到气体电离机制;再由电磁场的分布方程推导出氢气击穿判据表达式,建立了气体电离条件的数学模型;最后,利用电离击穿条件判据方程优化了电离装置的设计参数。数值仿真与测试表明该模型是有效的,采用优化的设计参数可以使电离功耗和电磁干扰特性得到改善,且电离直流电源总功率可小于2W。     

变循环发动机建模技术研究

在对变循环发动机总体结构进行分析的基础上,参考双轴涡扇发动机部件模型的建立方法,建立了变循环发动机部件级数学模型.建立了区分叶根特性和叶尖特性的风扇部件模型,单外涵和双外涵模式的核心驱动风扇级数学模型.根据变循环发动机的特点,建立了反映变几何部件变化的稳态和动态共同工作方程.数字仿真结果表明:所建的变循环发动机模型能够实现工作模式之间的相互转换,并且在低空低马赫数双外涵模式下表现出了涡扇发动机特性,即高推力与低耗油率,而在高空高马赫数单外涵模式下相比涡扇模式提供的推力更大、耗油率更低,符合变循环发动机特点,验证了建模方法的可行性.